mise a jour PHP

[daneel]

C'est sur que ça doit mieux marcher, mais dans l'idéal il faudrait passer à strech (debian 9).
Je ne sais pas pour raspbian, mais debian strech pour intel/amd intègre php 7+

C'est certain

On peut tester aussi la version buster (ce qui correspond à debian 10) de façon non officielle.

deb http://raspbian.raspberrypi.org/raspbian/ stretch main contrib non-free rpi
  # Décommentez la ligne ci-dessous puis 'apt-get update' afin d'activer 'apt-get source'
  #deb-src http://raspbian.raspberrypi.org/raspbian/ stretch main contrib non-free rpi

+ deb http://mirrordirector.raspbian.org/raspbian/ buster main contrib non-free rpi

puis executer : apt update & upgrade

et ajouter les packages d'Ondrey Sury (Ondřej Surý) vu que c'est fini sur dotdeb comme l'explique Colas sur son blog
(Ondrey maintient gratuitement des PPA pour Debian et autres, on peut soutenir son travail : https://www.patreon.com/oerdnj ou faire un don comme expliqué en bas de cette page : https://deb.sury.org/ )

sudo apt-get -y install apt-transport-https lsb-release ca-certificates
sudo wget -O /etc/apt/trusted.gpg.d/php.gpg https://packages.sury.org/php/apt.gpg
sudo sh -c 'echo "deb https://packages.sury.org/php/ $(lsb_release -sc) main" > /etc/apt/sources.list.d/php.list'

puis executer à nouveau avec sudo : apt update & upgrade

installation de php 7.2 et ses modules

 sudo apt install php7.2 php7.2-common php7.2-cli php7.2-fpm php7.2-mbstring php7.2-sqlite3 php7.2-pdo-sqlite php7.2-json php7.2-xml

Pour le reste, si vous avez déjà suivi un tuto, cela reste identique...